1![Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at](https://www.pdfsearch.io/img/70ee3ac14ada118b31bf4b70b1d9d6ec.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
2![From Onions to Shallots: Rewarding Tor Relays with TEARS Rob Jansen1 , Andrew Miller2 , Paul Syverson1 , and Bryan Ford3 1 U.S. Naval Research Laboratory, Washington, DC From Onions to Shallots: Rewarding Tor Relays with TEARS Rob Jansen1 , Andrew Miller2 , Paul Syverson1 , and Bryan Ford3 1 U.S. Naval Research Laboratory, Washington, DC](https://www.pdfsearch.io/img/9e7cfa8d74d5a0c1a11bc12e2d24ec12.jpg) | Add to Reading ListSource URL: petsymposium.orgLanguage: English - Date: 2014-06-27 06:43:31
|
---|
3![From Onions to Shallots: Rewarding Tor Relays with TEARS Rob Jansen1 , Andrew Miller2 , Paul Syverson1 , and Bryan Ford3 1 U.S. Naval Research Laboratory, Washington, DC From Onions to Shallots: Rewarding Tor Relays with TEARS Rob Jansen1 , Andrew Miller2 , Paul Syverson1 , and Bryan Ford3 1 U.S. Naval Research Laboratory, Washington, DC](https://www.pdfsearch.io/img/eb361c173496269c2a367ca0262b42be.jpg) | Add to Reading ListSource URL: www.nrl.navy.mil- Date: 2014-06-02 12:46:14
|
---|
4![Dissent: Accountable Anonymous Group Messaging Erratum 2 Andrew Wiedemann, Doug von Kohorn, Henry Corrigan-Gibbs, Bryan Ford Introduction Dissent [2] is a protocol for sender-anonymous group-wise broadcast, which builds Dissent: Accountable Anonymous Group Messaging Erratum 2 Andrew Wiedemann, Doug von Kohorn, Henry Corrigan-Gibbs, Bryan Ford Introduction Dissent [2] is a protocol for sender-anonymous group-wise broadcast, which builds](https://www.pdfsearch.io/img/725ab927cbdccd411df2e5c2d939e149.jpg) | Add to Reading ListSource URL: dedis.cs.yale.edu- Date: 2011-05-05 14:52:11
|
---|
5![ARLIS Ohio Valley Chapter Business Meeting@2010 ARLIS/NA Conference, Boston April 24, 2010 In attendance: Pam Eyerdam, Bryan Loar, Barb Prior, Stacy Brinkman, Alison Huftalen, Leslie Jan ARLIS Ohio Valley Chapter Business Meeting@2010 ARLIS/NA Conference, Boston April 24, 2010 In attendance: Pam Eyerdam, Bryan Loar, Barb Prior, Stacy Brinkman, Alison Huftalen, Leslie Jan](https://www.pdfsearch.io/img/e6c4ba09ffcea98e0a608beba90a17d3.jpg) | Add to Reading ListSource URL: ohiovalley.arlisna.orgLanguage: English - Date: 2016-03-01 17:58:30
|
---|
6![Permacoin: Repurposing Bitcoin Work for Data Preservation Andrew Miller1 , Ari Juels2 , Elaine Shi1 , Bryan Parno3 and Jonathan Katz1 1 University of Maryland Cornell Tech (Jacobs) Permacoin: Repurposing Bitcoin Work for Data Preservation Andrew Miller1 , Ari Juels2 , Elaine Shi1 , Bryan Parno3 and Jonathan Katz1 1 University of Maryland Cornell Tech (Jacobs)](https://www.pdfsearch.io/img/b78cb0e8d582fdd8212a791869ce15cc.jpg) | Add to Reading ListSource URL: elaineshi.comLanguage: English - Date: 2015-07-05 05:08:57
|
---|
7![Toward an Architecture for Never-Ending Language Learning Andrew Carlson1 , Justin Betteridge1 , Bryan Kisiel1 , Burr Settles1 , Estevam R. Hruschka Jr.2 , and Tom M. Mitchell1 1 School of Computer Science, Carnegie Mel Toward an Architecture for Never-Ending Language Learning Andrew Carlson1 , Justin Betteridge1 , Bryan Kisiel1 , Burr Settles1 , Estevam R. Hruschka Jr.2 , and Tom M. Mitchell1 1 School of Computer Science, Carnegie Mel](https://www.pdfsearch.io/img/6ad50b10e515769665b22a93b8e3bda5.jpg) | Add to Reading ListSource URL: rtw.ml.cmu.eduLanguage: English - Date: 2010-04-14 11:12:28
|
---|
8![St. Andrew’s Episcopal Church Bryan, Texas Part-time Director of Christian Formation for Youth Job Description Purpose St. Andrew’s Episcopal Church Bryan, Texas Part-time Director of Christian Formation for Youth Job Description Purpose](https://www.pdfsearch.io/img/b1d6370cf77b394de3425e5807857e7e.jpg) | Add to Reading ListSource URL: standrewsbcs.orgLanguage: English - Date: 2015-05-26 14:46:16
|
---|
9![Permacoin: Repurposing Bitcoin Work for Data Preservation Andrew Miller1 , Ari Juels2 , Elaine Shi1 , Bryan Parno3 and Jonathan Katz1 1 University of Maryland Cornell Tech (Jacobs) Permacoin: Repurposing Bitcoin Work for Data Preservation Andrew Miller1 , Ari Juels2 , Elaine Shi1 , Bryan Parno3 and Jonathan Katz1 1 University of Maryland Cornell Tech (Jacobs)](https://www.pdfsearch.io/img/b33816deda315d2c2ea59ec3ba690931.jpg) | Add to Reading ListSource URL: cs.umd.eduLanguage: English - Date: 2014-06-04 21:57:05
|
---|
10![Permacoin: Repurposing Bitcoin Work for Data Preservation Andrew Miller1 , Ari Juels, Elaine Shi1 , Bryan Parno2 and Jonathan Katz1 1 University of Maryland 2 Permacoin: Repurposing Bitcoin Work for Data Preservation Andrew Miller1 , Ari Juels, Elaine Shi1 , Bryan Parno2 and Jonathan Katz1 1 University of Maryland 2](https://www.pdfsearch.io/img/ec952f0b3a059902d3f85beaa5d9a300.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2014-04-21 13:48:10
|
---|